val f: A => B